门架式堆取料机在铜冶炼中的生产实践

针对铜冶炼工艺的特点,从门架式堆取料机对前后工序衔接、结构、原理出发,介绍了其在熔炼炉系统和吹炼炉系统中的应用情况。经过试生产期的生产实践证明,门架式堆取料机具有场地利用率高、取料量大,自动化程度高和安全环保等优点。     

摇摆运动下多环路主冷却剂系统自然循环流量的稳定性分析

海洋核动力平台因其突出的安全性已成为当今核能领域热点研究问题之一，但在海洋等非惯性条件下会使一回路系统的热工特性发生变化。针对此问题，本文对几种典型的一回路系统在摇摆条件下的自然循环流量波动特性进行计算分析。分别建立典型的双环路、三环路、四环路的一回路系统模型布置方案，并同时考虑摇摆中心的位置，根据流体动量守恒方程，得到不同状态下一回路系统内的流量变化规律。对于单堆双环路系统，摇摆中心在船上/中/下部位置时，环路流量波动幅度分别为13.2%/11.2%/9.5%，堆芯流量波动幅度分别为0.9%/0.8%/0.6%；对于单堆三环路系统，摇摆中心在船下部时，环路流量和堆芯流量波动幅度分别为9.2%和0.8%；对于单堆四环路系统，摇摆中心在船下部时，布置方案1和方案2的环路流量波动幅度分别为9.5%和9.2%，堆芯流量波动幅度分别为0.9%和0.7%。计算结果表明：采用单堆双环路的设计布置方案是最有利于系统稳定性的。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Calorimetric study and thermodynamic description of Ga-Ge-Li liquid alloys

This publication contains the thermodynamic results received by the drop calorimetry method. The experiments were conducted for four different cross sections, at the temperature of 1080 K. The investigated alloys were as follows: (Ga_0.75Li_0.25)_1-xGe_x, (Ge_0.50Li_0.50)_1-xGa_x, (Ga_0.50Li_0.50)_1-xGe_x, (Ga_0.25Li_0.75)_1-xGe_x. The mixing enthalpy changes measured for all four cross sections of the Ga-Ge-Li system are characterized by negative deviations from the ideal solutions. The Muggianu model with the ternary interaction parameters was applied to elaborate the experimental data of the mixing enthalpy change with the use of the optimized thermodynamic parameters of the binary systems available in the literature.     

自然时效对GT35合金组织与性能的影响

采用XRD、SEM、残余应力测试仪、维氏硬度计、测长机等手段对合金物相、微观组织、残余应力、硬度、线膨胀率进行表征,研究自然时效对GT35合金组织与性能的影响。结果表明,GT35合金在自然时效过程中,增强相TiC的形貌与粒径没有明显变化。当自然时效时间小于15天时,GT35合金的硬度、残余应力与线膨胀率逐渐增加,随后逐渐减小并趋于稳定。当自然时效超过90天后,GT35合金的组织与性能趋于稳定,其硬度、残余应力和线膨胀率分别为945.7 HV5、-184 MPa和-2.22×10^-5。     

Effect of Ba nonstoichiometry on the phase composition,microstructure, chemical stability and electrical conductivity of BaxCe0.7Zr0.1Y0.1Yb0.1O3−δ (0.9≤x≤1.1) proton conductors

The perovskite proton conductors Ba_xCe_0.7Zr_0.1Y_0.1Yb_0.1O_3−δ (x=0.9, 0.94, 0.98, 1.0, 1.03, 1.06, and 1.1) have been successfully prepared by the conventional solid state reaction route. X-ray diffraction (XRD) patterns of the samples indicate that Ba_xCe_0.7Zr_0.1Y_0.1Yb_0.1O_3−δ (x≥1.0) samples possess a single phase orthorhombic structure, but a secondary phase (Y,Ce)O_2−δ exists in Ba_xCe_0.7Zr_0.1Y_0.1Yb_0.1O_3−δ (x<1.0) samples. SEM photographs show that the grain size of Ba_xCe_0.7Zr_0.1Y_0.1Yb_0.1O_3−δ increases and the porosity decreases with Ba²⁺ content varying from x=0.9 to 1.1. Because of ZnO addition as sintering aid, the sintering temperature of the samples reduces from 1550 °C to 1250 °C. The chemical stability of the samples against CO₂ decreases with the increase in Ba content from x=0.9 to 1.1. All the samples show a excellent stability against water vapor at 850 °C. The conductivities of the samples increase and the activation energies reduce with the increase in Ba content. The present results suggest that it is very important to control the stoichiometry of cations to obtain desired perovskite type high temperature proton conductors.     

A bat-neural network multi-agent system (BNNMAS) for stock price prediction: Case study of DAX stock price

Creating an intelligent system that can accurately predict stock price in a robust way has always been a subject of great interest for many investors and financial analysts. Predicting future trends of financial markets is more remarkable these days especially after the recent global financial crisis. So traders who access to a powerful engine for extracting helpful information throw raw data can meet the success. In this paper we propose a new intelligent model in a multi-agent framework called bat-neural network multi-agent system (BNNMAS) to predict stock price. The model performs in a four layer multi-agent framework to predict eight years of DAX stock price in quarterly periods. The capability of BNNMAS is evaluated by applying both on fundamental and technical DAX stock price data and comparing the outcomes with the results of other methods such as genetic algorithm neural network (GANN) and some standard models like generalized regression neural network (GRNN), etc. The model tested for predicting DAX stock price a period of time that global financial crisis was faced to economics. The results show that BNNMAS significantly performs accurate and reliable, so it can be considered as a suitable tool for predicting stock price specially in a long term periods.     

陈四楼煤矿“123456双重预防体系”的建设与应用

针对煤矿“双重预防体系”如何落地生根问题，结合陈四楼煤矿在风险分级管控和隐患排查治理方面的实用方法和“双重预防体系”的建设经验，深入研究了“双重预防体系”的相关标准、风险隐患事故之间的关系及其各自的产生和发展机理、安全风险的有关辨识评估方法、事故隐患的排查和治理方法，分析了传统安全管理模式与“双重预防体系”的新型安全管理模式的差别，总结出了“123456双重预防体系”这个囊括了事前安全风险辨识、事中隐患排查治理、事后安全现状评估的创新成果，实现了“事前、事中、事后”的全过程控制，对夯实煤矿安全管理根基、促进矿井平稳有序发展发挥着越来越重要的作用，为煤炭行业“双重预防体系”的落地生根提供了借鉴和参考。     

基于二元水循环的水量-水质-水效联合调控模型开发与应用

为将我国最严格水资源管理制度的实践与二元水循环理论相结合，提高“三条红线”控制指标的科学性与合理性，本文以SWAT模型为基础，通过改进子流域划分方法、添加经济社会模块和人工用水模块，对其人工侧支循环模拟进行了系统的完善，开发了基于SWAT的水量-水质-水效联合调控模型SWAT_WAQER。以广西南流江流域为例，从国民经济用水量、河道径流与水质等方面对模型进行校验，并在此基础上划分了2030年“三条红线”控制指标。结果表明：该模型性能良好，能够用于不同节水情景下的国民经济用水量、污染物排放量、水功能区水质达标结果分析，可以作为科学制定“三条红线”控制指标的有力支撑工具。     

Quality and Emulsion Stability of Milk from Ettawah Crossed Bred Goat During Frozen Storage

Goat milk has specific chemical composition and physical properties. The purpose of this study was to investigate the change of milk quality and emulsion stability during 60 d frozen storage. Milk sample was taken from three Ettawah Crossedbred goats that were divided into three groups. Samples were frozen and stored for 0, 30 and 60 days. At the end of each storage periode, milk sample was thawed in the refrigerator and analyzed for total number of bacteria, chemical (acidity, pH, free fatty acids), physical (alcohol test, clot on boiling test) quality, and emulsion stability. The microbiological and chemical data were analyzed statistically using one way ANOVA, whereas physical quality and emulsion stabilty were expressed qualitatively. There were no change in the total bacteria, acidity, pH and free fatty acid (FFA) of milk during storage, whereas the assessment by 70% alcohol showed positive since 0 d. Emulsions stability changed after 30 d of storage. While, the clot on boiling (COB) test of milk was positive at 60 d of storage. Recommendation is frozen storage of goat milk should not longer than 30 d.